@Book{Binder:2000,
  author =	 {R. Binder},
  title = 	 {Testing Object-Oriented Systems: Models, Patterns, and Tools.},
  publisher = 	 {Addison-Wesley},
  year = 	 2000
}

@book{Marick:1995,
  author	= {B. Marick},
  title		= {The Craft of Software Testing},
  publisher	= {Prentice Hall},
  address		= {New Jersey},
  year		= {1995}
}

@book{Pezze:2008,
  author = {M. Pezz\`{e} and M. Young},
  title = {Software Testing and Analysis},
  publisher = {Wiley},
  year = 2008
}

@Book{Beck:2003,
  author = 	 {K. Beck},
  title = 	 {Test-Driven Development by Example},
  publisher = 	 {Addison-Wesley},
  year = 	 2003}

@article{Meyer:1992,
 author = {Meyer, Bertrand},
 title = {Applying ``Design by Contract''},
 journal = {Computer},
 volume = {25},
 number = {10},
 year = {1992},
 issn = {0018-9162},
 pages = {40--51},
 doi = {http://dx.doi.org/10.1109/2.161279},
 publisher = {IEEE Computer Society Press},
 address = {Los Alamitos, CA, USA},
 }